A Matching Approach for Object-Oriented Formal Specifications.
نویسندگان
چکیده
منابع مشابه
A Matching Approach for Object-Oriented Formal Specifications
Software merging is needed at different stages of software development to combine the artifacts created or modified by the parallel work of the different developers involved in the project. An accurate matching approach is the key to successful software merging as well as to conflicts identification. In this paper, a new matching approach for ObjectOriented formal specifications is proposed. Ob...
متن کاملOn Merging Object-Oriented Formal Specifications
Collaborative development allows the delegation of tasks among developers, which eases the development of complex software systems. The software artifacts created because of this collaboration need to be merged at the end of a particular development activity. To achieve this, a merging approach must be able to produce results that are correct, complete and consistent. Furthermore, the merge app...
متن کاملOn Differencing Object-Oriented Formal Specifications
Requirements specification is a collaborative activity that involves several developers specifying the requirements elicited through several stakeholders. Operation-base merging allows combining specifications using the information available about their state as well as their evolution or change. Thus, leading to a more precise, accurate and efficient merging. Differencing specifications is a t...
متن کاملA Framework for Testing Object-Oriented Software Using Formal Specifications
In this paper we develop a framework for semi-automated generation of test cases for object oriented programs from formal speci-cations. We use Object-Z as the formal speciication language. We have designed and prototyped a test system called OZTEST. It understands the characteristics of object-oriented speciications including inheritance. OZTEST maps the speciication to a corresponding impleme...
متن کاملTest selection for object-oriented software based on formal specifications
Abstract: We propose a method of test selection based on formal specifications, for specification-based testing of object-oriented software. This method is based on rigorous theoretical foundations. To limit the size of test sets, we present several hypotheses specific to object-oriented systems, used to reduce an exhaustive test set into a pertinent test set. Regularity hypotheses are used to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2008
ISSN: 1660-1769
DOI: 10.5381/jot.2008.7.8.a4